All Questions
Tagged with lambda-calculusrecursion
1 question
2votes
2answers
624views
General recursion to tail-recursion
Is it theoretically possible to transform every kind of general-recursion into tail-recursion? Are they equivalent for example from a lambda-calculus point of view? That's a debate between me and an ...
- 121
